#dev_tool .header{
	background: url(images/header_bg.gif) repeat-x bottom;
	padding-top:10px;
	padding-bottom:35px;
}

#dev_tool h1{
	padding-bottom:10px;
	margin-left:2%;
	text-align:left;
}

#dev_tool h1 span {
	color: #15ADFF;
	font-size:9px;
}

#dev_tool h2{
	border-bottom: #999999 1px solid;
}

#dev_tool h2 span {
	padding-left:10px;
	color: #15ADFF;
	font-size:10px;
}

#dev_tool table {
	color: #999999;
}

#dev_tool table td {
	padding-bottom:3px;
}
#dev_tool .overflow table td {
	padding-bottom:0px;
}

#dev_tool table td strong {
	color: #15ADFF;
}

#dev_tool .overflow{
	height:150px;
	overflow-y:auto;
}

#dev_tool .content .full {
	padding: 5px 15px;
}